Discovery of invariants through automated theory formation
نویسندگان
چکیده
منابع مشابه
Automated Theory Formation in Mathematics
A program cal led " A M " is descr ibed which cai r ies on simple mathemat ics research : defining, and studying new concepts under the guidance of a large body of heuiist ic rules. The 250 h e u r K t u s communicate via an agenda mechanism, a g loba l p r i o r i t y queue of small bisk', for the program to pei f o i m and teasons why each task is plausible (e.g., "Find PENCRAHZTION. of ' p r...
متن کاملAutomated Theory Formation in Bioinformatics
A theory learned by an inductive logic programming (ILP) system such as Progol [5] usually comprises a set of concepts, expressed as logic programs, which can be employed for a classification task. This classifying ability can, in turn, be used for prediction tasks. A scientific theory, however, comprises much more information: concepts; hypotheses relating concepts; explanations and empirical ...
متن کاملAccelerating taxonomic discovery through automated character extraction
This paper discusses the following key messages. Taxonomy is (and taxonomists are) more important than ever in times of global change. Taxonomic endeavour is not occurring fast enough: in 250 years since the creation of the Linnean Systema Naturae, only about 20% of Earth’s species have been named. We need fundamental changes to the taxonomic process and paradigm to increase taxonomic productiv...
متن کاملON THE USE OF KULSHAMMER TYPE INVARIANTS IN REPRESENTATION THEORY
Since 2005 a new powerful invariant of an algebra has emerged using the earlier work of Horvath, Hethelyi, Kulshammer and Murray. The authors studied Morita invariance of a sequence of ideals of the center of a nite dimensional algebra over a eld of nite characteristic. It was shown that the sequence of ideals is actually a derived invariant, and most recently a slightly modied version o...
متن کاملControl of Automated Empirical Discovery by Diagrammatic Representation of Theory
An empirical regularity is typically limited to a particular range of independent variables. If many such regularities hold in a multi-dimensional space of independent variables, a diagrammatic representation of the set of regularities and their boundaries can help us to understand their distribution, and the completeness of the set of regularities. Furthermore, a diagrammatic representation ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2012
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-012-0264-1